On the Power of Play-Out for Scenario-Based Programs
نویسندگان
چکیده
We investigate the power of play-out, the execution mechanism associated with scenario-based programming, which was defined as the operational semantics of live sequence charts (LSC). We compare some of the play-out strategies and mechanisms suggested in the literature, and discuss their strengths and limitations. Specifically, we define a simple infinite hierarchy of LSC programs, and use it to show that smart play-out, the lookahead version of play-out guided by model-checking, is strictly weaker than full synthesis from LSC. This paper is dedicated to Prof. Willem de Roever, friend and colleague, with admiration and respect for his scientific achievements, his impact on the community, and his boundless energy.
منابع مشابه
Scenario based technique applied to photovoltaic sources uncertainty
There is an increasing need to forecast power generated by photovoltaic sources in day-ahead power system operation. The electrical energy generated by these renewable sources is an uncertain variable and depends on solar irradiance, which is out of control and depends on climate conditions. The stochastic programming based on various scenarios is an efficient way to deal with such uncertaintie...
متن کاملThe Challenges of Scenario-Based Teaching Using Drama Scripts
It is widely believed that the major purpose of foreign language learning is to master the speaking skill of that language. Learners even evaluate their foreign language learning on the basis of their achievement in speaking proficiency. This study discusses different teaching methodologies aimed at the development of task-based language learning, drama and the manifestation of scenario-based t...
متن کاملCross-layer Packet-dependant OFDM Scheduling Based on Proportional Fairness
This paper assumes each user has more than one queue, derives a new packet-dependant proportional fairness power allocation pattern based on the sum of weight capacity and the packet’s priority in users’ queues, and proposes 4 new cross-layer packet-dependant OFDM scheduling schemes based on proportional fairness for heterogeneous classes of traffic. Scenario 1, scenario 2 and scenario 3 lead r...
متن کاملImpact of Power Play Overs on the Outcome of Twenty20 Cricket Match
This study attempts to find if better performance in power play leads a team to victory in a Twenty20 match. Based on the methodology devised to do so, the study tries to measure the performance of both the teams during power play overs in terms of batting and bowling. The developed measure is called ‘Prod’ which is a product of the difference of batting and bowling performance of t...
متن کاملEffect of rainfall changes on economic variables using a general equilibrium model
The country's economy is dependent on many variables that play a role in growth and development of the country. There are many variables in the economy that effect on country's economy. On the other hand rainfall is one of important factor of climate change that affected on economic strategic programs such as agriculture sector programs. Rainfall Changes effect on many economic variables that i...
متن کامل